Combining continuations with other effects
نویسندگان
چکیده
1 Department of Mathematics, University of Cambridge, Cambridge CB3 0WB, England. Email: [email protected] 2 School of Computer Science, University of Birmingham, Birmingham B15 2TT, England. Email: [email protected] 3 Laboratory for the Foundations of Computer Science, University of Edinburgh, King’s Buildings, Edinburgh EH9 3JZ, Scotland. Email:[email protected], [email protected]. Tel: +44 131 650 5159. Fax: +44 131 667 7209.
منابع مشابه
Combining algebraic effects with continuations
We consider the natural combinations of algebraic computational effects such as side-effects, exceptions, interactive input/output, and nondeterminism with continuations. Continuations are not an algebraic effect, but previously developed combinations of algebraic effects given by sum and tensor extend, with effort, to include commonly used combinations of the various algebraic effects with con...
متن کاملContinuations and Web Servers
Programming web applications in direct style with the help of continuations is a much simpler, safer, modular and better-performing technology than the current dominating “page-centric” technology combining CGI scripts, active pages or servlets. This paper discusses the use of continuations in the context of web applications, the problems they solve as well as some new problems they introduce.
متن کاملCombining and Relating Control Effects and their Semantics
Combining local exceptions and first class continuations leads to programs with complex control flow, as well as the possibility of expressing powerful constructs such as resumable exceptions. We describe and compare games models for a programming language which includes these features, as well as higher-order references. They are obtained by contrasting methodologies: by annotating sequences o...
متن کاملCombining Prediction and Recognition to Improve On-Line Mathematical Character Recognition
This paper describes methods to increase the accuracy of mathematical handwriting analysis by using context information. Our approach is based on the assumption that likely expression continuations can be derived from a database of mathematical expressions and then can be used to rank the candidates of isolated symbol recognition. We present how predicted continuations for an expressions are de...
متن کاملProgramming with Tighter Control
This paper formalizes continuations as functions abstracting a delimited context instead of an unlimited one. When made available in an expression language such as Scheme, they provide a functional abstraction of control that can be used as any ordinary procedure. This approach sheds light on the applicative aspects of continuations by getting rid of their imperative part: jumping, and makes it...
متن کامل